Issue381.agda:9,12-26
'abstract' not allowed in let expressions
when scope checking let abstract y = x in y
